Bypassing BDD construction for reliability analysis
نویسندگان
چکیده
منابع مشابه
Fast Bdd Truncation Method for Efficient Top Event Probability Calculation
A Binary Decision Diagram (BDD) [1-3] provides an efficient representation and manipulation of Boolean formulae, and it was shown that a BDD is effective in the diverse fields of computer science and reliability [4]. Bryant [3] popularized the use of a BDD by developing a set of algorithms for an efficient construction and manipulation of BDDs. The BDD algorithm was applied to a reliability ana...
متن کاملA BDD-Based Algorithm for Reliability Graph Analysis
In this paper, a new algorithm based on Binary Decision Diagram (BDD) for reliability graph analysis is proposed. The reliability graphs are encoded into a BDD that can be easily evaluated. The minpaths and mincuts of a reliability graph can be obtained by BDD. Sensitivity analysis and ordering of variables are discussed in this paper as well. Due to the feature of BDD, the sum of disjoint prod...
متن کاملساخت و اعتباریابی پرسشنامه ارزیابی فراشناخت بدشکلی بدن
Background and purpose: Since there is no test to evaluate body dysmorphic metacognition, the purpose of this study is to construct and determine the validity, reliability, and the factor structure of Body Dysmorphic Metacognition Questionnaire (BDMÇQ). Materials and methods: Data were collected through Body Dysmorphic Metacognition Questionnaire which was filled out by 200 students (100 mal...
متن کاملA reliability analysis method using binary decision diagrams in phased mission planning
The use of autonomous systems is becoming increasingly common in many fields. A significant example of this is the ambition to deploy unmanned aerial vehicles (UAVs) for both civil and military applications. In order for autonomous systems such as these to operate effectively, they must be capable of making decisions regarding the appropriate future course of their mission responding to changes...
متن کاملSmart Grid Security: Challenges and Solutions
State estimation is an important power system tool used to best estimate the system state through analysis of remotely collected sensor measurements and the power system topology. The reliability of the estimated output depends on the quality of the input measurements. Therefore, grid operators use Bad Data Detection (BDD) techniques to filter out grossly erroneous measurements from the state e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Process. Lett.
دوره 75 شماره
صفحات -
تاریخ انتشار 2000